formal axiomatic câu

• Gödel's incompleteness theorems are two theorems of mathematical logic that demonstrate the inherent limitations of every formal axiomatic system capable of modelling basic arithmetic.
  Các định lý bất toàn của Gödel là hai định lý nổi tiếng về logic toán học mô tả về giới hạn vốn có của mọi hệ thống rõ ràng chính thức có khả năng mô hình hóa số học cơ bản.